
Najdłuższy dowód matematyczny w historii
1 czerwca 2016, 09:33Marijn Heule z University of Texas, Oliver Kullmann ze Swansea University oraz Victor Marek z University of Kentucky - były pracownik Uniwersytetu Warszawskiego, a obecny współpracownik Instytutu Podstaw Informatyki PAN - użyli superkomputera do przeprowadzenia pojedynczego matematycznego dowodu, uzyskując w ten sposób największy matematyczny dowód w historii. Jego zapisanie zajęło 200 terabajtów przestrzeni dyskowej.

Chińczycy polecieli na Tiangong 2
17 października 2016, 10:57Przed kilkunastoma godzinami Chiny wystrzeliły w przestrzeń kosmiczną załogową misję Shenzhou 11. Na jej pokładzie znalazło się dwóch astronautów, którzy zadokują do eksperymentalnej stacji kosmicznej Tiangong 2 i pozostaną na jej pokładzie przez 30 dni

Prototyp chemicznego komputera wykrywa sferę
13 marca 2017, 14:03Komputery chemiczne stają się coraz bardziej realne, udowadniają naukowcy z Instytutu Chemii Fizycznej PAN w Warszawie. Okazuje się, że po zastosowaniu odpowiedniej strategii "uczenia" nawet stosunkowo prosty układ chemiczny może wykonywać nietrywialne operacje.

Stan zapalny może poprzedzać bezdech senny
1 września 2017, 11:59Dotąd stan zapalny postrzegano jako objaw bezdechu sennego, wydaje się jednak, że w rzeczywistości kolejność ich pojawiania może być odwrotna.

Przez awarię prądu utracono 3,5% światowej produkcji układów NAND
15 marca 2018, 11:13Samsung stracił dużą liczbę plastrów krzemowych, na których produkował układy NAND. Problemy z dostawą prądu w koreańskiej fabryce w Pyeongtaek trwały zaledwie 30 minut, ale uszkodzeniu uległo nawet 3,5% światowej produkcji układów pamięci.

By ocalić ptaki i żółwie, wystarczy przymocować do sieci LED-y
12 lipca 2018, 10:43Przymocowanie do sieci rybackich zielonych diod LED może znacząco (o ok. 85%) zmniejszyć liczbę zaplątujących się w nie ptaków morskich.

Microsoft załatał 39 dziur
12 grudnia 2018, 10:49Wraz z grudniowym wydaniem Patch Tuesday Microsoft załatał 9 krytycznych dziur w swoich produktach. jedną z nich jest luka typu zer-day występująca w starczych wersjach Windows.

Tekst jak sieć: Ile wyrazów wystarczy, by rozpoznać autora?
11 kwietnia 2019, 13:33Jesteśmy bardziej oryginalni niż sądzimy, sugerują analizy tekstów literackich przeprowadzone nową metodą stylometrii, zaproponowaną przez naukowców z Instytutu Fizyki Jądrowej PAN w Krakowie. Indywidualność autora widać już w powiązaniach między zaledwie kilkunastoma wyrazami tekstu angielskiego. W językach słowiańskich do identyfikacji twórcy wystarcza nawet mniejsza liczba wyrazów, a na dodatek wynik jest pewniejszy.

Kosmiczny żaglowiec LightSail 2 rozwinął żagle
24 lipca 2019, 09:20Eksperymentalny żaglowiec kosmiczny rozwinął żagle i zaczął zbierać energię Słońca, która ma go napędzać podczas podróży w przestrzeni kosmicznej. LightSail 2 to dzieło The Planetary Society. Pojazd został wystrzelony 25 czerwca na pokładzie rakiety Falcon Heavy firmy SpaceX

Nurek-amator znalazł jedną z najstarszych monet na świecie
25 listopada 2019, 10:06W Morzu Czarnym u wybrzeży miasta Sozopol nurek znalazł monetę liczącą sobie co najmniej 2650 lat. Może to być najstarsza moneta pochodząca z Bułgarii i jedna z najstarszych na świecie.